We illustrate a novel conception of linguistic invariant which applies to grammars of different natural languages even though they may use different categories and have difl'erent rules. We illustrate formally how semantically defined notions, such as "is an anaphor" may be invariant in all linguistically motivated grammars, and we show that individual morphemes, such as case markers, may be invariant in grammars that have them in exactly the same sense in which properties, such as "is a Verb Phrase" or relations (...) such as "is a constituent of". (shrink)

Saul Kripke has proposed an argument to show that there is a serious problem with many computational accounts of physical systems and with functionalist theories in the philosophy of mind. The problem with computational accounts is roughly that they provide no noncircular way to maintain that any particular function with an infinite domain is realized by any physical system, and functionalism has the similar problem because of the character of the functional systems that are supposed to be realized by organisms. (...) This paper shows that the standard account of what it is for a physical system to compute a function can avoid Kripke's criticisms without being reduced to circularity; a very minor and natural elaboration of the standard account suffices to save both functionalist theories and computational accounts generally. (shrink)

Noam Chomsky and other linguists and psychologists have suggested that human linguistic behavior is somehow governed by a mental representation of a transformational grammar. Challenges to this controversial claim have often been met by invoking an explicitly computational perspective: It makes perfect sense to suppose that a grammar could be represented in the memory of a computational device and that this grammar could govern the device's use of a language. This paper urges, however, that the claim that humans are such (...) a device is unsupported and that it seems unlikely that linguists and psychologists really want to claim any such thing. Evidence for the linguists' original claim is drawn from three main sources: the explanation of language comprehension and other linguistic abilities; evidence for formal properties of the rules of the grammar; and the explanation of language acquisition. It is argued in this paper that none of these sources provides support for the view that the grammar governs language processing in something like the way a program governs the operation of a programmed machine. The computational approach, on the contrary, suggests ways in which linguistic abilities can be explained without the attribution of any explicit representation of rules governing linguistic behavior. (shrink)

By formalizing recent syntactic theories for natural languages Stabler shows how their complexity can be handled without guesswork or oversimplification. By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without guesswork or oversimplification. He introduces logical representations of these theories together with special deductive techniques for exploring their consequences that will provide linguists with a valuable tool for deriving and testing theoretical predictions and for experimenting (...) with alternative formulations of grammatical principles. Stabler's novel approach allows results to be deduced with straightforward calculations and provides a systematic framework for tackling the problem of how speakers can infer the properties of an utterance from principles of the grammar. The special treatment of equality, induction principles, and inclusion of a general method for collecting structures from proofs means that sophisticated linguistic arguments can be carried out in detail, giving a rich perspective to issues in linguistic theory and parsing. (shrink)

Quine's (1969) proposal that the foundationalist programs in epistemology should be abandoned in favor of a scientific study of how we come to hold our theories about the world is still widely misunderstood. It does not eliminate the possibility of rational adjudication of scientific dispute, nor is it essentially tied to behaviorist approaches in psychology. On the contrary, recent work in psychology and philosophy of science can very naturally be seen as embodying the sort of program envisioned by Quine; now (...) freed of behaviorist strictures, it clearly addresses issues that have been of interest in traditional epistemology. This view is defended with particular attention to Quine's concerns with translation and the related concerns with belief individuation which have inspired critics of recent cognitive psychology. (shrink)

Saul Kripke has proposed an argument to show that there is a serious problem with many computational accounts of physical systems and with functionalist theories in the philosophy of mind. The problem with computational accounts is roughly that they provide no noncircular way to maintain that any particular function with an infinite domain is realized by any physical system, and functionalism has the similar problem because of the character of the functional systems that are supposed to be realized by organisms. (...) This paper shows that the standard account of what it is for a physical system to compute a function can avoid Kripke's criticisms without being reduced to circularity; a very minor and natural elaboration of the standard account suffices to save both functionalist theories and computational accounts generally. (shrink)

Linguists rely on intuitive conceptions of structure when comparing expressions and languages. In an algebraic presentation of a language, some natural notions of similarity can be rigorously defined (e.g. among elements of a language, equivalence w.r.t. isomorphisms of the language; and among languages, equivalence w.r.t. isomorphisms of symmetry groups), but it tums out that slightly more complex and nonstandard notions are needed to capture the kinds of comparisons linguists want to make. This paper identihes some of the important notions of (...) structural similarity, with attention to similarity claims that are prominent in the current linguistic tradition of transformational grammar. @ 2002 Elsevier Science B.V. All rights reserved. (shrink)

Four different kinds of grammars that can define crossing dependencies in human language are compared here: (i) context sensitive rewrite grammars with rules that depend on context, (ii) matching grammars with constraints that filter the generative structure of the language, (iii) copying grammars which can copy structures of unbounded size, and (iv) generating grammars in which crossing dependencies are generated from a finite lexical basis. Context sensitive rewrite grammars are syntactically, semantically and computationally unattractive. Generating grammars have a collection of (...) nice properties that ensure they define only “mildly context sensitive” languages, and Joshi has proposed that human languages have those properties too. But for certain distinctive kinds of crossing dependencies in human languages, copying or matching analyses predominate. Some results relevant to the viability of mildly context sensitive analyses and some open questions are reviewed. (shrink)

Minimalist grammars (MGs) and multiple context-free grammars (MCFGs) are weakly equivalent in the sense that they define the same languages, a large mildly context-sensitive class that properly includes context-free languages. But in addition, for each MG, there is an MCFG which is strongly equivalent in the sense that it defines the same language with isomorphic derivations. However, the structure-building rules of MGs but not MCFGs are defined in a way that generalizes across categories. Consequently, MGs can be exponentially more succinct (...) than their MCFG equivalents, and this difference shows in parsing models too. An incremental, top-down beam parser for MGs is defined here, sound and complete for all MGs, and hence also capable of parsing all MCFG languages. But since the parser represents its grammar transparently, the relative succinctness of MGs is again evident. Although the determinants of MG structure are narrowly and discretely defined, probabilistic influences from a much broader domain can influence even the earliest analytic steps, allowing frequency and context effects to come early and from almost anywhere, as expected in incremental models. (shrink)

The performance of a connectionist learning system on a simple problem has been described by Hinton and is briefly reviewed here: a finite set is learned from a finite collection of finite sets, and the system generalizes correctly from partial information by finding simple "features" of the environment. For comparison, a very similar problem is formulated in the Gold paradigm of discrete learning functions. To get generalization similar to the connectionist system, a non-conservative learning strategy is required. We define a (...) simple, non-conservative strategy that generalizes like the connectionist system, finding simple "features" of the environment. By placing an arbitrary finite bound on the number and complexity of the features to be found, learning can be guaranteed relative to a probabilistic criterion of success. However, this approach to induction has essentially the same problems as many others that have failed. (shrink)

In 1996 the Pope John Center (now the National Catholic Bioethics Center) offered a workshop for bishops to examine Pope John Paul II's landmark encyclical Evangelium vitae (The Gospel of Life). This collection of essays represents the proceedings of that workshop for scholars and students.

We investigated how people design interventions to affect the outcomes of causal systems. We propose that the abstract structural properties of a causal system, in addition to people's content and mechanism knowledge, influence decisions about how to intervene. In Experiment 1, participants preferred to intervene at specific locations in a causal chain regardless of which content variables occupied those positions. In Experiment 2, participants were more likely to intervene on root causes versus immediate causes when they were presented with a (...) long-term goal versus a short-term goal. These results show that the structural properties of a causal system can guide the design of interventions. (shrink)

Background: There is a growing interest in using cognitive behavioural therapy with people who have Asperger Syndrome and comorbid mental health problems. Aims: To examine whether modified group CBT for clinically significant anxiety in an AS population is feasible and likely to be efficacious. Method: Using a randomised assessor-blind trial, 52 individuals with AS were randomised into a treatment arm or a waiting-list control arm. After 24 weeks, those in the waiting-list control arm received treatment, while those initially randomised to (...) treatment were followed-up for 24 weeks. Results: The conversion rate for this trial was high, while attrition was 13%. After 24 weeks, there was no significant difference between those randomised to the treatment arm compared to those randomised to the waiting-list control arm on the primary outcome measure, the Hamilton Rating Scale for Anxiety. Conclusions: Trials of psychological therapies with this population are feasible. Larger definitive trials are now needed. Declaration of Interest: None Trial Registration: ISRCTN 30265294, UKCRN 8370. (shrink)

The excellent quality and depth of the various essays make [the book] an invaluable resource....It is likely to become essential reading in its field.—CHOICE.

According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the (...) empty set and raises serious epistemological concerns; but the leading realist interpretations---ontological and modal interpretations of priority---are deeply problematic as well. I conclude that the purported explanatory virtues of the iterative conception are, at present, unfounded. (shrink)

Russell Goodman tells the story of the development of philosophy in America from the mid-18th century to the late 19th century. The key figures in this story, Jonathan Edwards, Benjamin Franklin, Thomas Jefferson, the writers of The Federalist, and the romantics Emerson and Thoreau, were not professors but men of the world, whose deep formative influence on American thought brought philosophy together with religion, politics, and literature.